“의미 도출 연역법”으로 총 1건 검색

• 의미 도출 연역법, 意味導出演繹法, semantic resolution

  정한 다음 어떤 마디 집합 및 도출 마디를 이것으로 충족 가능한 마디로 구성되는 부분 집합과 그렇지 않은 부분 집합으로 양분하는 방법. 도출은 항상 서로 다른 부분 집합에 속하는 마디에 관하여 수행하므로 이런 명칭이 붙었다. 실제로는 리터럴(literal) 사이에 순서를 붙여 그 순서대로 도출하도록 하는...